Q22 — Software Engineering

Q22

#0000096304

22 / 48

Z notation is a widely used formal specification language. In this language, what does [a] indicate?